Zoological Garden: An essential tool for Education and Research

An Education and Research Tool for Computational

Karsten Konrad1, Holger Maier1, David Milward2 and Manfred Pinkal1 (1) Computerlinguistik, Universit at des Saarlandes 66041 Saarbr ucken, Germany konrad, maier, [email protected] (2) SRI International, Suite 23, Millers Yard Cambridge, CB2 1RQ, GB [email protected] Abstract This paper describes an interactive graphical environment for computational semantics. The system provides a teac...

New york botanical garden-research and education.

KidSmart: an essential tool for mathematical education in nursery schools

This paper is part of a wide debate and critical reflection on the use of ICT in nursery schools, and focuses on the use of station KidSmart in the classroom to enhance scientific learning within the logical-mathematic field. The study is organized as follows: after presenting the institutional setting within which ICT has been introduced in Italian nursery schools, some considerations are made...

CLEARS - An Education and Research Tool for Computational Semantics

This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algorithms together with test suites. The teaching tool allows users to investigate the properties of various semantic formalisms (e.g. Intensional Logic, DRT, and Situation Semantics), and their interaction with syntax.

An Education and Research Tool for Computational Semantics

This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algorithms together with test suites. The teaching tool allows users to work step by step through derivations of semantic representations, and to compare the properties of various semantic formalisms such as Intensional Lo...